The Description Logic ALCNH R + Extended with Concrete Domains
نویسندگان
چکیده
The paper introduces the description logicALCNHR+(D). Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called predicate exists restriction concept constructor is provided. However, compared to ALC(D) only features and no feature chains are allowed in this operator. This results in a limited expressivity w.r.t. concrete domains but is required to ensure the decidability of the language. We show that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.
منابع مشابه
The Description Logic ALCNH R + Extended with Concrete Domains : Revised
The paper introduces the description logicALCNHR+(D) −. Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called predicate exists restriction concept constructor is provided. However, compared to ALC(D) only features a...
متن کاملThe Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
In this paper the description logic ALCNHR+(D) is introduced. Prominent language features beyond conjunction, full negation, and quantifiers are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called existential predicate restriction is provided. However, co...
متن کاملThe Complexity of Reasoning with ConcreteDomainsCarsten
Description logics are knowledge representation and reasoning formalisms which represent conceptual knowledge on an abstract logical level. Concrete domains are a theoretically well-founded approach to the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals or spatial regions. In this paper, the complexity of combined reasoning with d...
متن کاملHybrid Logics with Concrete Domains
In this paper we present the hybrid logic HLC(@, ↓), an extension of HL(@, ↓), whose models have a concrete domain (such as the natural or real numbers). This logic extends the language of HL(@, ↓) including terms with equality to deal with concrete domain values. Similar languages have already been investigated in other areas like knowledge representation (e.g., description logics with concret...
متن کاملDecidability of ALC(D) for concrete domains with the EHD-property
Reasoning for Description logics with concrete domains and w.r.t. general TBoxes easily becomes undecidable. For particular, restricted concrete domains decidablity can be regained. We introduce a novel way to integrate a concrete domain D into the well-known description logic ALC, we call the resulting logic ALC(D). We then identify sufficient conditions on D that guarantee decidability of the...
متن کامل